#include <stdio.h>
int main() 
{
   int a[4], b, c[3], x, d[4], i = 1;
   for (a[0] = 1010; a[0] <= 1377; a[0]++)
      for (b = 112; b <= 142; b++)
         for (c[0] = 8; c[0] <= 9; c[0]++)
            if (b * c[0] > 1000 && (d[0] = a[0] - b * c[0]) >= 10 && d[0] < 100)
               for (a[1] = 0; a[1] <= 9; a[1]++)
                  if ((d[1] = d[0] * 10 + a[1] - b * 7) >= 100 && d[1] < b)
                     for (a[2] = 0; a[2] <= 9; a[2]++)
                        for (c[1] = 7; c[1] <= 8; c[1]++)
                           if (b * c[1] < 1000 && (d[2] = d[1] * 10 + a[2] - b * c[1]) >= 10 && d[2] < 100)
                              for (a[3] = 0;a[3]<=99;a[3]++)
                              for(c[2]=8;c[2]<=9;c[2]++)
                              if(d[2]*100+a[3]-b*c[2]==0)
                              {
                                 printf("No%d:",i++);
                                 printf("%d%d%d%d%d/",a[0],a[1],a[2],a[3]/10,a[3]%10);
                                 printf("%d=",b);
                                 printf("%d%d%d%d%d\n",c[0],7,c[1],0,c[2]);
                              }
}